IETF Draft: Authenticated Transfer Repo and Sync Specification
ietf.org·6h·
Discuss: Hacker News
🌳Archive Merkle Trees
What is Algebraic about Algebraic Effects?
interjectedfuture.com·1h
✨Algebraic Effects
Semantic Dictionary Encoding
falvotech.com·2h·
Discuss: Hacker News
🌀Brotli Dictionary
Differentially Private Decentralized Dataset Synthesis Through Randomized Mixing with Correlated Noise
arxiv.org·13h
🛡️Differential Privacy
OTW - Bandit Level 4 to Level 5
tbhaxor.com·11h
🔧KAITAI
Preserving the digital legacy of company archives: Last stop, Newhaven.
dpconline.org·9h
💾Data Preservation
Fastest copy
forums.anandtech.com·54m
📄Document Digitization
A simple way to automate RHEL VM creation
marcin.juszkiewicz.com.pl·1d
🔌Operating system internals
Outbox Done Right in Go: Building Resilient Event-Driven Systems with NATS and SQL
dev.to·1d·
Discuss: DEV
📝Database WAL
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·8h
🔗Topological Sorting
Balance between refactoring and inheritance in your code
github.com·5h·
Discuss: Hacker News
✅Format Verification
Tooling for Maintaining YAML Files
stuartellis.name·1d
✅Archive Validation
It actually is a snap?
lambdacreate.com·1d
❄️Nix Flakes
Securing and Scaling AI-Powered APIs
capestart.com·4h·
Discuss: Hacker News
🌊Streaming Systems
WorldCat Editions and Holdings Release
annas-archive.org·1d·
Discuss: Hacker News
📚MARC Records
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·2h·
Discuss: www.blogger.com
🔗Lisp
Google Summer of Code 2025 Reports: Enhancing Support for NAT64 Protocol Translation in NetBSD
blog.netbsd.org·48m
📝ABNF Parsing
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·13h·
Discuss: Lobsters, Hacker News
🧮Kolmogorov Complexity
How to Open and Mount BitLocker Partitions on Linux with Dislocker or Cryptsetup
std.rocks·7h·
Discuss: Hacker News
💾Disk Utilities
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·19h·
Discuss: Hacker News, r/programming, r/rust
🧮Z3 Solver